Paracategories I: internal paracategories and saturated partial algebras
نویسندگان
چکیده
منابع مشابه
Paracategories I: internal paracategories and saturated partial algebras
Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd’s paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of ...
متن کاملParacategories II: adjunctions, fibrations and examples from probabilistic automata theory
In this sequel to [HM02], we explore some of the global aspects of the category of paracategories. We establish its (co)completeness and cartesian closure. From the closed structure we derive the relevant notion of transformation for paracategories. We set-up the relevant notion of adjunction between paracategories and apply it to define (co)completeness and cartesian closure, exemplified by th...
متن کاملSaturated free algebras revisited
We give an exposition of results of Baldwin-Shelah [2] on saturated free algebras, at the level of generality of complete first order theories T with a saturated model M which is in the algebraic closure of an indiscernible set. We then make some new observations when M is a saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking.
متن کاملAlgebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach
The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now, and it has motivated the development of the so-called double-pushout and single-pushout approaches to graph transformation. In this article we extend the double-pushout approach to the algebraic transformation of partial many-sorted unary algebras. Such a generalization...
متن کاملOn Saturated Uniformly A-convex Algebras
Following ideas of A. C. Cochran, we give a suitable definition of a saturated uniformly A-convex algebra. In the m-convex case, such algebra is a uniform topological one.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(03)00135-x